Formal Modeling and Verification of Cyber-Physical Systems - 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
- Författare
- (Edited by Rolf Drechsler, Ulrich Kühne.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Fachmedien Wiesbaden, Imprint: Springer Vieweg | 2015 | Tyskland, Wiesbaden | X, 313 sidor. 106 illus., 5 illus. in color. online resource. | 978-3-658-09994-7 |